Counterfactuals and Undefinedness: Homogeneity vs. Supervaluations
نویسندگان
چکیده
Theories of counterfactuals agree on appealing to a relation comparative similarity, but disagree the quantificational force counterfactuals. We report two experiments testing predictions three main approaches: universal theories, homogeneity and single-world selection theories (plus supervaluations over functions). The critical cases in our experiment were constructed so as discriminate between theories. Our results provide empirical support for selectional while challenging other approaches.
منابع مشابه
Supervaluations Debugged
We must begin by stating an erroneous view. Modality may be supposed to affect the assertion in its formal character, and without regard to that which is asserted. We may take for instance a content S – P, not yet asserted, and may claim for modality the power of affirming this content S – P, unaltered and unqualified, in several ways. S – P, it is supposed, may be asserted, for instance, eithe...
متن کاملŁukasiewicz , supervaluations , and the future
In this paper I consider an interpretation of future contingents which motivates a unification of a Łukasiewicz-style logic with the more classical supervaluational semantics. This in turn motivates a new non-classical logic modelling what is “made true by history up until now.” I give a simple Hilbertstyle proof theory, and a soundness and completeness argument for the proof theory with respec...
متن کامل/ Lukasiewicz, Supervaluations, And The Future
In this paper I consider an interpretation of future contingents which motivates a uniication of a Lukiasiewicz-style logic, and the more classical, supervaluational semantics. This in turn motivates a new non-classical logic modelling what is \made true by history up until now". I give a simple Hilbert-style proof theory, and a soundness and completeness argument for the proof theory with resp...
متن کاملCounterfactuals
Counterfactuals arc a form of commonsense non-monotonic inference that has been of long-term interest to philosophers. In this paper, we begin by describing some of the impact counterfactuals can be exported to have in artif icial intelligence, and by reviewing briefly some of the philosophical conclusions which have been drawn about them. Philosophers have noted that the content of any particu...
متن کاملOCL2FOL+: Coping with Undefinedness
At present, the OCL language includes two constants, null and invalid, to represent undefinedness. This effectively turns OCL into a four-valued logic. It makes also problematic its mapping to first-order logic and, as a consequence, hinders the use of first-order automated-reasoning tools for OCL reasoning. We address this problem and propose a solution, grounded on the same principles underly...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Semantics and Linguistic Theory
سال: 2021
ISSN: ['2163-5943', '2163-5951']
DOI: https://doi.org/10.3765/salt.v30i0.4842